/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.winningCondition;

/**
 *
 * @author simon
 */
public class Tag {

    public final static int
            REACHTARGET = 1,
            REACHDEADLOCK = 2,
            AVOIDTARGET = 3,
            AVOIDDEADLOCK = 4,
            BUCHIGAME = 5,
            GENREACTIVITY = 6,
            LTLGAME = 7;

}
